#include <stdio.h>

int main() {
  unsigned int num = 0x12345678;

  while (num) {
    printf("%x ", num % 16);
    num = num / 16;
  }

  printf("hello world\n");
  printf("\n");
  return 0;
}
